Process calculus - PDFSEARCH.IO - Document Search Engine

Process calculus
Results: 249

#	Item
31	Stochastic Process Algebras and Ordinary Differential Equations Jane Hillston Laboratory for Foundations of Computer Science and Centre for Systems Biology at Edinburgh University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-09-15 09:47:16 Theoretical computer science Statistics Markov models Mathematics Graph theory Markov chain Stochastic process Stochastic Process calculus Semantics Algebra over a field PEPA
32	Using the Pi-Calculus for Formalizing Workflow Patterns Frank Puhlmann Hasso-Plattner-Institute at the University of Potsdam http://bpt.hpi.uni-potsdam.de Add to Reading List Source URL: bpm2005.loria.fr Language: English - Date: 2005-09-12 10:45:03 Workflow technology Mathematics Software design patterns Process calculi Process management Theoretical computer science Workflow pattern Workflow Calculus -calculus Process calculus Pi
33	The Fusion Machine (extended abstract) Philippa Gardner1 , Cosimo Laneve2 , and Lucian Wischik2 1 2 Add to Reading List Source URL: www.wischik.com Language: English - Date: 2002-09-03 06:29:14 Theoretical computer science Computability theory Process calculi -calculus Lambda calculus Process calculus Integration by substitution Limit of a function Substitution Heat equation Join-pattern
34	Encapsulation and Dynamic Modularity in the π-calculus Daniel Hirschkoff, Tom Hirschowitz, Samuel Hym, Aur´elien Pardon and Damien Pous Oslo, June 7th, 2008 Add to Reading List Source URL: places08.di.fc.ul.pt Language: English - Date: 2011-01-31 06:33:44 Process calculi Theoretical computer science -calculus Distribution
35	KCL Distinguished LectureChoosing not to be discrete — The benefits of fluid approximations in dynamic modelling Jane Hillston Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2015-05-04 03:46:51
36	Compiling the π-calculus into a Multithreaded Typed Assembly Language Tiago Cogumbreiro Joint work with Francisco Martins Vasco T. Vasconcelos Add to Reading List Source URL: places08.di.fc.ul.pt Language: English - Date: 2011-01-31 06:33:44 Theoretical computer science Process calculi -calculus Processor register Thread
37	A simple, distributed implementation of the pi-calculus, using explicit fusions Pisa, JulyLucian Wischik Add to Reading List Source URL: www.wischik.com Language: English - Date: 2002-07-22 03:56:32 Process calculi Theoretical computer science -calculus Substitution Heat equation
38	Continuous Approximation of PEPA models A Process Algebra for Hybrid Systems CICADA Seminar Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-04-10 07:33:53 Process calculus PEPA System Scientific modelling Jane Hillston TAPAs model checker
39	Bio-PEPA for epidemiological models Jane Hillston. LFCS and CSBE, The University of Edinburgh 24th September 2009 Joint work with Federica Ciocchetta. Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-10-09 05:09:45 PEPA Process calculi Jane Hillston Process calculus Scientific modelling Stochastic
40	CONCURThe Benefits of Sometimes Not Being Discrete Jane Hillston LFCS, University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-09-02 12:04:09 Process calculus Model checking Stochastic processes Models of computation Markov models